<!DOCTYPE html>
<meta charset=utf-8>
<title>invalid href: port-leading-colon-bracket-colon</title>
<a href="http://2001::1]:80"></a>
